/!\ If it doesn't work, edit with the good url and retry!
-> If it works, simply download directly the archive and:
- Go in you ".pio" folder of your project, then in the subfolder
- Copy paste the fresh lib download folder (remove "-master" or other suffix)
- Create a ".pio" folder inside which contains a ".piopkgmanager.json" file with : {"name": "__LIB_NAME__", "url": "__URL__", "requirements": null}
/!\ Si cela ne fonctionne pas, modifiez avec la bonne URL et réessayez !
-> Si cela fonctionne, il suffit de télécharger directement l'archive et :
- Allez dans votre dossier ".pio" de votre projet, puis dans le sous-dossier
- Copiez collez le nouveau dossier de téléchargement de lib (supprimez "-master" ou tout autre suffixe)
- Créez un dossier ".pio" à l'intérieur qui contient un fichier ".piopkgmanager.json" avec : {"name": "__NOM_DE_LA_LIB__", "url": "__URL__", "requirements": null}